Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
unifier - перевод на Английский
LOGIC REASONING RULE THAT IS CORRECTLY USABLE IS SOME LOGIC
Inadmissible inference rule; Admissible inference rule; Structural completeness; Structurally complete; Projective formula; Unifier; Projective approximation
unifier
unify, unite; merge, standardize
unificateur
uniting, unifying
réunifier
reunify, rejoin
Определение
unifier
The unifier of a set of expressions is a set of substitutions
of terms for variables such that the expressions are all
equal.
See also most general unifier, unification.
(1994-12-06)
Википедия
Admissible rule
In logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the existing rules of the system. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955).
Примеры употребления для unifier
1. Pourquoi vouloir unifier l‘apparence des enfants?
2. Nous veillons surtout ŕ unifier notre politique dans l‘aménagement intérieur.
3. Mais que le suffrage universel et la démocratie tendent ŕ unifier et réconcilier.
4. Seule lannonce de linvasion coloniale va les unifier contre lennemi commun.
5. Ne faudrait–il pas unifier en Suisse ce syst';me d‘aide aux familles?